alle{-}rcv(${\it es}$;$l$;${\it tg}$;$e$.$P$($e$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$:es{-}E(${\it es}$). (es{-}kind(${\it es}$; $e$) = rcv($l$,${\it tg}$) $\in$ Knd) $\Rightarrow$ $P$($e$)